MDA and Analysis of Web Applications
نویسندگان
چکیده
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects related to the interaction of business logic and Web browsers. The method adopted is based on the Model Driven Architecture. First, the Platform Independent Model of Web Applications is refined to create a new model called Abstract Description of Interaction (ADI). An ADI is a UML class diagram annotated with OCL statements to represent an abstraction of the interaction between the thin client and the business logic. Secondly, the ADI model is automatically transferred to an Alloy model and analysed using the Alloy Analyser.
منابع مشابه
A MDA-based Environment for Web Applications Development: From Conceptual Models to Code1
Nowadays, MDA is gaining popularity as a feasible way to develop software in Web environments. As a consequence, several tools from both academic and industrial contexts, offer their own MDA processes for producing Web Applications. OO-Method is an object-oriented method that produces software systems by means of its MDA implementation, OlivaNOVA. This tool has been broadly tested in industry w...
متن کاملB2B Integration based on SOA using Web Service
The purpose of this research are 1) build a new method of SOAbased integration by combining SOAD and MDA, 2) validate the new method by testing the applicability of the SOA-based integration (eShop applications) using Web Service, Enterprise Service Bus, and Business Process Execution Language. The results of this research are a new method of SOA-based integration that results of MDA, SOAD and ...
متن کاملImproving the Adaptation of Web Applications to Different Versions of Software with MDA
The Model-Driven Architecture (MDA) has been proposed as a way of separating the details of an implementation platform from the problem domain. This paper shows that this approach is also good for the adaptation of software to the different versions of the same platform. As an example, Spring Web Flow (SWF), a framework that allows the definition and representation of user interface flows in we...
متن کاملUsing MDA in Web Software Architectures
The new challenges posed by the Internet market have increased the need for Web Applications that require more development efforts and guarantee a higher quality level. In order to contribute to this goal, in this position paper we present a new proposal called WebSA which proposes the inclusion of a software architecture models to complement the specification of Web Applications. This strategy...
متن کاملRecovering Role-Based Access Control Security Models from Dynamic Web Applications
Security of dynamic web applications is a serious issue. While Model Driven Architecture (MDA) techniques can be used to generate applications with given access control security properties, analysis of existing web applications is more problematic. In this paper we present a model transformation technique to automatically construct a role-based access control (RBAC) security model of dynamic we...
متن کاملTool Support for Model Checking of Web Application Designs
In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools that facilitate model driven design of Web applications, automatic code generation, and automatic property verification. As recommended by current tendencies in the academic field, we bridge the gap between the tools by...
متن کامل